p  q == if p then q else ff fi  

latex

Definitions

if b then t else f fi , ff